Optimal Algorithms for k-Search with Application in Option Pricing Julian Lorenz1 , Konstantinos Panagiotou2 , and Angelika Steger Institute of Theoretical Computer Science, ETH Zurich, 8092 Zurich, Switzerland {jlorenz,

Source URL: www.algorithmictradingpit.com

On First-Order Definable Colorings J. Neˇsetˇril1 Department of Applied Mathematics and Institute of Theoretical Computer Science (ITI) Charles University Malostransk´e n´

Source URL: iti.mff.cuni.cz

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design

How to Catch L2 -Heavy-Hitters on Sliding Windows Vladimir Braverman1, Ran Gelles2 , and Rafail Ostrovsky3 1 Department of Computer Science, Johns Hopkins University, . Department of Computer Science, Univ

Source URL: arxiv.org

• Theory of computation
• Circuit complexity
• NC
• Best
• worst and average case
• Ogonek
• Theoretical computer science

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Type theory
• Computability theory
• Functional programming
• Theoretical computer science
• Recursion
• Initial algebra
• Lambda calculus
• Primitive recursive function
• Inductive type
• Catamorphism
• F-algebra

Block transitivity and degree matrices ? Jiˇr´ı Fiala a , Jos´e Soto b,1 , a KAM, DIMATIA and Institute for Theoretical Computer Science (ITI)

Source URL: iti.mff.cuni.cz

Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl|thiemann|psk}@informatik.rwth-aa

Source URL: www-i2.informatik.rwth-aachen.de

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Rewriting
• Termination analysis
• International Conference on Rewriting Techniques and Applications
• Algorithm
• Dependency graph
• Path ordering
• Polynomial

diploma thesis Adaptive Building Intelligence Parallel Fuzzy Controlling and Learning Architecture Based on a Temporary and Long-Term Memory

Source URL: www.kutter-fonds.ethz.ch

• Fuzzy logic
• Artificial intelligence
• Logic
• Logic in computer science
• Mathematical logic
• Theoretical computer science
• Control engineering
• Genetic fuzzy systems
• Fuzzy control system
• Genetic algorithm
• Fuzzy set
• Fuzzy markup language

Volume 5, Issue 34 ■ 21AUG2015

Source URL: www.defenseinnovationmarketplace.mil

• Emerging technologies
• Optics
• Quantum mechanics
• Theoretical computer science
• Physics
• Quantum computing
• Mesoscopic physics
• Photonics
• Nanowire
• Laser
• Materials science
• Quantum optics

Information-Theoretic Teleodynamics in Natural and Artificial Systems∗ Anthony F. Beavers and Christopher D. Harrison The University of Evansville

Source URL: faculty.evansville.edu

• Theoretical computer science
• Philosophy of thermal and statistical physics
• Formal sciences
• Artificial neural network
• Mathematical psychology
• Philosophy of information
• Entropy
• Information
• Computability
• Natural computing
• Algorithm
• Complexity